Review by: Martin L. Davies: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Recursive Unsolvability of Post's Problem of "Tag" and other Topics in the Theory of Turing Machinesby Marvin L. Minsky

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 310 KB

english, 1966

2

Inexhaustibility: A Non-Exhaustive Treatmentby Torkel Franzén;Gödel's Theorem: An Incomplete Guide to Its Use and Misuseby Torkel Franzén

Review by: Martin Davis

Journal:

American Mathematical Monthly

Year:

2008

Language:

english

File:

PDF, 733 KB

english, 2008

3

Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part Iby John McCarthy

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1968

Language:

english

File:

PDF, 206 KB

english, 1968

4

Sur la Méthodologie des Recherches sur les Fondements des mathématiques.by F. Gonseth

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 358 KB

english, 1960

5

Hilbert's Tenth Problemby Yuri V. Matiyasevich

Review by: Martin Davis

Journal:

American Mathematical Monthly

Year:

1995

Language:

english

File:

PDF, 218 KB

english, 1995

6

A Basis for a Mathematical Theory of Computation, Preliminary Reportby John McCarthy;A Basis for a Mathematical Theory of Computationby John McCarthy; P. Braffort; D. Hirschberg

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1968

Language:

english

File:

PDF, 206 KB

english, 1968

7

Towards a General Theory of Computabilityby Richard Montague

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 342 KB

english, 1964

8

Vellus Aureum -- Das Goldene Vlies (1431). Einleitung, kritische Edition, Übersetzungby Maffeo Vegio; Reinhold F. Glei; Markus Köhler;Vita Hieronymi Savonarolaeby Gianfrancesco Pico della Mirandola; Elisabetta Schisto

Review by: Martin Davies

Journal:

Renaissance Quarterly

Year:

2000

Language:

english

File:

PDF, 332 KB

english, 2000

9

The Word Problem for Semigroups with Two Generatorsby Marshall Hall,

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1950

Language:

english

File:

PDF, 200 KB

english, 1950

10

On a Family of Turing Machines and the Related Programming Languageby Corrado Böhm

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 198 KB

english, 1966

11

Sur les Possibilités d'Extension de la Notion de Fonction Récursive aux Fonctions d'une au Plusiers Variables Réelles.by Daniel Lacombe;Interventionby G. Bouligand

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 359 KB

english, 1960

12

Expression de la Vérifiabilité Expérimentale dans le Raisonnement Formalisé.by Robert Feys;Interventionsby J.-L. Destouches; J. Porte; E. W. Beth; A. Tarski; P. Bernays

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 187 KB

english, 1960

13

Diophantine Representation of Enumerable Predicates.by Ju. V. Matijasevič; F. M. Goldware

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1974

Language:

english

File:

PDF, 104 KB

english, 1974

14

Ugo Rozzo.La strage ignorata: i fogli volanti a stampa nell'Italia dei secoli XV e XVI

Review by: Martin Davies

Journal:

Renaissance Quarterly

Year:

2009

Language:

english

File:

PDF, 120 KB

english, 2009

15

Elementary Logic of Science and Mathematics.by P. H. Nidditch

Review by: Martin Davis

Journal:

American Mathematical Monthly

Year:

1961

Language:

english

File:

PDF, 231 KB

english, 1961

16

Einige metamathematische Resultate über Entscheidungsdefinitheit und Widerspruchsfreiheir (1930b).by Kurt Gödel;Some Metamathematical Results on Completeness and Consistency (1930b)by Kurt Gödel; Stefan Bauer-Mengelberg;Über formal unentscheidbare sätze der principia mathematica und verwandter systeme (1931).by Kurt Gödel;On Formally Undecidable Propositions of Principia Mathematica and Related Systems I (1931)by Kurt Gödel; Jean van Heijenoort;Über Vollständigkeit und Widerspruchsfreiheit (1932b)by Kurt Gödel;On Completeness and Consistency (1932b)by Kurt Gödel; Jean van Heijenoort;Introductory note to 1930b, 1931 and 1932bby Stephen C. Kleene

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 747 KB

english, 1990

17

A Gödel Chronology.by John W. Dawson,

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 733 KB

english, 1990

18

On Undecidable Propositions of Formal Mathematical Systems (1934)by Kurt Gödel;Postscriptumby Kurt Gödel;Introductory Note to 1934by Stephen C. Kleene

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 109 KB

english, 1990

19

Sur les Notions Intuitives Mises en Oeuvre par la Constitution et l'étude d'un Système Formel.by Roger Martin

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 260 KB

english, 1960

20

Formal Number Theory and Computability: A Workbook.by Alec Fisher

Review by: Martin D. Davis

Journal:

American Mathematical Monthly

Year:

1985

Language:

english

File:

PDF, 107 KB

english, 1985

21

Jean Paul: A Readerby Timothy J. Casey; Erika Casey

Review by: Martin L. Davies

Journal:

The Modern Language Review

Year:

1995

Language:

english

File:

PDF, 228 KB

english, 1995

22

Introductory Formal Logic of Mathematics.by P. H. Nidditch

Review by: Martin Davis

Journal:

American Mathematical Monthly

Year:

1961

Language:

english

File:

PDF, 325 KB

english, 1961

23

Law and Legal Science: An Inquiry into the Concepts Legal Rule and Legal Systemby J. W. Harris

Review by: Martin Davies

Journal:

The Modern Law Review

Year:

1981

Language:

english

File:

PDF, 457 KB

english, 1981

24

General Recursive Functionsby Julia Robinson

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 207 KB

english, 1951

25

Some Considerations Concerning Recursive Functionsby Th. Skolem

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1956

Language:

english

File:

PDF, 287 KB

english, 1956

26

A Complex of Problems Proposed by Postby Wilson E. Singletary

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 293 KB

english, 1966

27

Investigating old buildingsby L. Smith

Review by: Martin Davies

Journal:

Australian Journal of Historical Archaeology

Year:

1986

Language:

english

File:

PDF, 492 KB

english, 1986

28

Criteria of Constructibility for Real Numbersby John Myhill

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 199 KB

english, 1955

29

Zur Theorie der Konstruktiven Wohlordnungenby Werner Markwald

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 235 KB

english, 1955

30

Recursive and Recursively Enumerable Ordersby H. G. Rice

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1957

Language:

english

File:

PDF, 93 KB

english, 1957

31

On Degrees of Recursive Unsolvabilityby Clifford Spector

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1957

Language:

english

File:

PDF, 157 KB

english, 1957

32

A Note on Function Quantificationby J. W. Addison; S. C. Kleene

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 350 KB

english, 1958

33

Undecidable Theoriesby Alfred Tarski

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1959

Language:

english

File:

PDF, 153 KB

english, 1959

34

An Undecidable Arithmetical Statementby Andrzej Mostowski

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 116 KB

english, 1954

35

On a Set of Integers Not Definable by Means of One-Quantifier Predicatesby Andrzej Mostowski

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1950

Language:

english

File:

PDF, 202 KB

english, 1950

36

On Decidability and Completenessby W. V. Quine

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 211 KB

english, 1951

37

A Basis for the Mechanization of the Theory of Equationsby A. Robinson;On the Mechanization of the Theory of Equationsby A. Robinson

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1968

Language:

english

File:

PDF, 213 KB

english, 1968

38

Observations Concerning Computing, Deduction, and Heuristicsby E. W. Beth

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1968

Language:

english

File:

PDF, 224 KB

english, 1968

39

A Variant of Turing Machines Requiring Print Instructions onlyby J. W. Swanson

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 372 KB

english, 1969

40

The Undecidability of Algebraic Rings and Fieldsby Julia Robinson

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 354 KB

english, 1964

41

Size and Structure of Universal Turing Machines using Tag Systemsby M. L. Minsky

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 198 KB

english, 1966

42

Gödel Numberings of Partial Recursive Functions.by Hartley Rogers,

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 197 KB

english, 1964

43

Some Theorems on Classes of Recursively Enumerable Setsby J. C. E. Dekker; J. Myhill

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1962

Language:

english

File:

PDF, 100 KB

english, 1962

44

Sur une Extension de la Polyrelation et des Parentés Tirant son Origine du Calcul Logique de kème Échelon.by Roland Fraïssé;Hypothèses de la Théorie des Relations qui Permettent d'Associer, a un bon ordre d'un ensemble, un bon ordre, défini sans ambiguïté, de l'ensemble de ses parties.by René de Possel; Roland Fraïssé;Interventionsby A. Tarski; A. Mostowski

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 368 KB

english, 1960

45

Remarques sur le Problème de la Décision en Logique Élémentaire.by Paul Bernays

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 238 KB

english, 1960

46

Recherches sur les Logiques Modalesby J. Porte

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 187 KB

english, 1960

47

Allocution Prononcée par M. A. Châtelet.by Albert Châtelet;Une Relativisation des Notions Mathématiques Fondamentales.by Th. Skolem;Interventionsby A. Tarski; M. Krasner; A. Mostowski; R. de Possel

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1960

File:

PDF, 432 KB

1960

48

Construction Sémantique de la Logique Intuitioniste.by E. W. Beth;Interventionby A. Heyting;La Théorie Élémentaire de l'Intégration en Mathématiques Intuitionnistes.by A. Heyting

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 231 KB

english, 1960

49

Remarques sur Certains Aspects Formels des Théories Physiques.by Jean-Louis Destouches; Paulette Février;Interventionsby M. Fréchet; J.-L. Destouches; G. Bouligand; E. W. Beth; P. Février

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 187 KB

english, 1960

50

Recursive Functions of One Variableby Julia Robinson

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 213 KB

english, 1970